Nuprl Definition : d-eq-Loc
0,22
postcript
pdf
i
=
j
== eqof(IdDeq)(
i
,
j
)
latex
Definitions
IdDeq
,
eqof(
d
)
FDL editor aliases
d-eq-Loc
origin